Перевод: со всех языков на все языки

со всех языков на все языки

logical correspondence

См. также в других словарях:

  • Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… …   Wikipedia

  • Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B …   Wikipedia

  • Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of …   Wikipedia

  • Logical positivism — a philosophy (of science), that originated in the Vienna Circle in the 1920s, which holds that philosophy should aspire to the same sort of rigor as science. Philosophy should provide strict criteria for judging sentences true, false and… …   Mini philosophy glossary

  • Logical Atomism — ▪ philosophy       theory, developed primarily by the British logician Bertrand Russell (Russell, Bertrand) and the Austrian born philosopher Ludwig Wittgenstein, proposing that language, like other phenomena, can be analyzed in terms of… …   Universalium

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

  • Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… …   Wikipedia

  • function, logical — In logic and mathematics a function, also known as a map or mapping, is a relation that associates members of one class X with some unique member y of another class Y. The association is written as y = f(x ). The class X is called the domain of… …   Philosophy dictionary

  • Indonesian philosophy — is generic designation for tradition of abstract speculation held by the people who inhabit the region now known as Indonesia. Indonesian philosophy is expressed in living languages found in Indonesia (approximately 587 languages) and its… …   Wikipedia

  • Apocalypse of Peter — The recovered Apocalypse of Peter or Revelation of Peter is an example of a simple, popular early Christian text of the second century; it is an example of Apocalyptic literature with Hellenistic overtones. The text is extant in two incomplete… …   Wikipedia

  • Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»